Scott encoding
ラムダ抽象で再帰的なデータ型を表現する方法
Lazy Kのリストはこれ
パターンマッチが得意？
https://en.wikipedia.org/wiki/Mogensen–Scott_encoding